منابع مشابه
Making the Simple Case Simple
With the proliferation of multicore processors, and the anticipation of “many-core,” it has become commonplace to predict dire consequences if researchers fail to make it easy for rank-and-file programmers to write correct, efficient parallel code. Certainly anyone who has taught traditional concurrency knows that students have great difficulty with the subject. Much of the pedagogical problem,...
متن کاملLarge-Scale Map-Making
Current mapping algorithms using Consistent Pose Estimation (CPE) algorithms can successfully map areas of 10 square meters, using thousands of poses. However, the computation to construct the map grows as O(n log n), so larger maps get increasingly difficult to build. We present an abstraction method for postponing the growth in computation. This method solves a much smaller problem in the spa...
متن کاملMaking simple proofs simpler
An open partition p [Cod09a, Cod09b] of a tree T is a partition of the vertices of T with the property that, for each block B of p, the upset of B is a union of blocks of p. This paper deals with the number, NP(n), of open partitions of the tree, Vn, made of two chains with n points each, that share the root. We prove that the number of such partitions is given by the formula NPn = k=1 n j...
متن کاملMap Making as a Support for Cooperation
This research deals with search tasks of agents, in particular, a meeting task where agents try to gather into a single location starting from distributed arrangements. The meeting task is ubiquitous in cooperation because agents need to approach one another if they wish to work together effectively. For example, in cooperative computation, multiple processes must come near in order to reduce c...
متن کاملSemi-autonomous Map-making and Navigation
Map construction and task-oriented navigation constitute two important capabilities for mobile robots. Despite their value, progress to date in the development of stand-alone robots endowed with these capabilities has been limited. We describe an architecture for mobile robots based on the concept of semi-autonomy that employs communication with a human advisor in order to simplify the tasks of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1970
ISSN: 0028-0836,1476-4687
DOI: 10.1038/225769b0